Diagnostic system based on condition turbogenerator Petri nets
نویسندگان
چکیده
منابع مشابه
A system of interactive scores based on Petri nets
We propose a formalism for composition and performance of musical pieces involving temporal structures and discrete interactive events. We use the Allen relations to constrain these structures and to partially define a temporal order on them. During the score composition stage, we use a constraints propagation model to maintain the temporal relations between the structures. For the performance ...
متن کاملSystem Modelling with Petri Nets
Petri Nets (PN) are a graphical formalism which is gaining popularity in recent years as a tool for the representation of complex logical interactions (like synchronization, sequentiality, concurrency and conflict) among physical components or activities in a system. This notes are devoted to introduce the formalism of Petri nets with particular emphasis on the application of the methodology in...
متن کاملPerformance Models Based on Petri Nets
Petri Nets (PNs) is a well suited formalism to model and analyze parallel and distributed discrete event dynamic systems. Provided with adequate timed interpretation, PNs allow to build performance models in which true concurrence can be described together with synchronization and sharing phenomena. This survey paper gives a fast overview of some major topics related to net performance models, ...
متن کاملFault Diagnosis Based on Bayesian Petri Nets
This paper provides a kind of Bayesian Petri net model and presents a fault diagnosis method for power grid based on this model. Firstly, the BPN models for each component are established in power cut area separately, according to the fault spread directions. Secondly, the failed component is determined by the application of Petri net reasoning and Bayesian probability calculation. At last, the...
متن کاملWww Workflows Based on Petri Nets
Workflow management is an emerging research area trying to automate business processes. The development of the Internet over the last years has had major impact on workflow management systems. This paper describes a model for workflows based on Petri nets which are well suited to represent discrete dynamic models and provide a solid formal foundation. The workflows can be executed using the Int...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Izvestiya Wysshikh Uchebnykh Zawedeniy, Yadernaya Energetika
سال: 2016
ISSN: 0204-3327
DOI: 10.26583/npe.2016.1.02